Robin Adams (auth.): Z-Libraryで検索

知識と文化への入り口。誰にでもアクセス可能です。

Don't use scam websites

フィルターを適用する

完全一致

完全一致

本 (7)
一番人気本
リスト
- リスト
- 表

1

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)

年:

2007

言語:

english

ファイル:

PDF, 3.00 MB

0 / 0

english, 2007

2

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

年:

2006

言語:

english

ファイル:

PDF, 2.35 MB

0 / 0

english, 2006

3

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams, Zhaohui Luo (auth.), Thorsten Altenkirch, Conor McBride (eds.)

年:

2007

言語:

english

ファイル:

PDF, 4.28 MB

0 / 0

english, 2007

4

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

年:

2006

言語:

english

ファイル:

PDF, 2.07 MB

0 / 0

english, 2006

5

Topics in Discrete Mathematics: Dedicated to Jarik Nešetřil on the Occasion of his 60th Birthday

Topics in Discrete Mathematics: Dedicated to Jarik Nešetřil on the Occasion of his 60th Birthday

Springer-Verlag Berlin Heidelberg

Michael E. Adams, Aleš Pultr (auth.), Martin Klazar, Jan Kratochvíl, Martin Loebl, Jiří Matoušek, Pavel Valtr, Robin Thomas (eds.)

年:

2006

言語:

english

ファイル:

PDF, 5.19 MB

0 / 0

english, 2006

6

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams (auth.), Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.)

年:

2004

言語:

english

ファイル:

PDF, 3.44 MB

0 / 0

english, 2004

7

Pro SQL Server 2005

Pro SQL Server 2005

Thomas Rizzo, Adam Machanic, Julian Skinner, Louis Davidson, Robin Dewson, Jan Narkiewicz, Joseph Sack, Rob Walters (auth.)

年:

2006

言語:

english

ファイル:

PDF, 11.14 MB

0 / 0

english, 2006